Extending Knowledge Base Update into First-Order Knowledge Bases
نویسندگان
چکیده
منابع مشابه
Towards closed world reasoning in dynamic open worlds
The need for integration of ontologies with nonmonotonic rules has been gaining importance in a number of areas, such as the Semantic Web. A number of researchers addressed this problem by proposing a unified semantics for hybrid knowledge bases composed of both an ontology (expressed in a fragment of first-order logic) and nonmonotonic rules. These semantics have matured over the years, but on...
متن کاملSpecifying Update Policies for Nonmonotonic Knowledge Bases
Recently, several approaches for updating knowledge bases represented as logic programs have been proposed. We present a generic framework for declarative specifications of update policies, which is built upon such approaches. It extends the LUPS language for update specifications, and incorporates the notion of events into the framework. An update policy allows an agent to flexibly react upon ...
متن کامل1996-Updating Knowledge Bases with Disjunctive Information
It is well known that the minimal change principle was widely used in knowledge base updates. However, recent research has shown that conventional minimal change methods, eg. the PMA (Winslett 1988), are generally problematic for updating knowledge bases with disjunctive information. In this paper, we propose two different approaches to deal with this problem one is called the nae’pzirnal chara...
متن کاملUpdating Knowledge Bases with Disjunctive Information
It is well known that the minimal change principle was widely used in knowledge base updates. However, recent research has shown that the conventional minimal change methods, eg. the PMA 11], were generally problematic for updating knowledge bases with disjunctive information. In this paper, we propose two diierent approaches to deal with this problem { one is called the minimal change with exc...
متن کاملMarrying Stable Models with Belief Update
The need for integration of classical logic with nonmonotonic rules has been gaining importance in areas like the Semantic Web and Open Multi-Agent Systems. A number of researchers addressed this problem by proposing a unified semantics for knowledge bases composed of both first-order formulae and rules (also called hybrid knowledge bases). These semantics have matured over the years, but only ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008